"Ahmed Bouajjani" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture ... Programming and Software Engineering)

Ahmed Bouajjani, Wei-Ngan Chin

Категория: Техника

6.00 Mb

#2

Computer Aided Verification, 21 conf., CAV 2009

Ahmed Bouajjani, Oded Maler

Категория: CsLn_

13.29 Mb